<%/* Example: <span class="script">htmlattrdef("placeholder")</span> */%>
<a id="attr-<%=$0%>" href="#attr-<%=$0%>"><b><code><%=$0%></code></b></a>
